Project-Team Mexico
Members
Overall Objectives
Scientific Objectives
Research Program
Concurrency
Interaction
Management of Quantitative Behavior
Application Domains
Telecommunications
Transport Systems
Biological Systems
Highlights of the Year
New Software and Platforms
General Remark
New Results
Highlights
Specifying and Verifying Concurrent C Programs with TLA+
Active Diagnosis with Observable Quiescence
Test Case Generation for Concurrent Systems Using Event Structures
State Space Reduction Strategie for Model Checking Concurrent C Programs
Simple Priced Timed Games Are Not That Simple
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems
An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
Preserving Partial Order Runs in Parametric Time Petri Nets
Non-Atomic Transition Firing in Contextual Nets
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Partnerships and Cooperations
Regional Initiatives: IRT
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2015
|
Presentation of the Project-Team MEXICO
|
MEXICO Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
National Initiatives
We have not yet been notified about acceptance of our ANR submissions.
Previous |
Home
| Next